Section: Partnerships and Cooperations
Actions nationales/National Initiatives
ANR
-
Projet ANR Arpège ASOPT (Analyse statique et Optimisation), responsable B. Jeannet. Partenaires: équipe-projet Popart (Inria Grenoble), équipe MeASI, EADS, et Maxplus. Ce projet a été labellisé par le pôle de compétitivité System@tic.
-
Participation de Cormac Walsh au projet ANR FINSLER (Géométrie de Finsler et applications).
-
Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires: ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.
Programme Gaspard Monge pour l'Optimisation
Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, P. Benchimol, S. Gaubert, R. Katz, et Z. Qu.